type X = {-p:T}
